Specifying Truck Movement in Traffic Models Using Cell-DEVS
نویسندگان
چکیده
A specification language was defined to outline sections of cities as cell spaces. The goal is to allow the definition of complex traffic models in a simple fashion for the modeler. Once the urban section is outlined, the traffic flow is automatically set up. In this case, the language was expanded to include the behavior of trucks. The models are formally specified, avoiding a high number of errors in the developed application, and the problem solving time can be reduced.
منابع مشابه
Cellular Models for Emerging Traffic Behavior
Various researches used cellular models in which we can observe emerging behaviors that have not been programmed explicitly. The Cell-DEVS methodology is formal modeling technique that permits defining each cell in a cell space as individual independent entity. We used Cell-DEVS to build different models of traffic. We show how to model cell spaces with emerging behavior using this methodology....
متن کاملDefining a Traffic Modeling Language Using Cellular Discrete-Event Abstractions
We present the definition of a specification language to outline sections of cities as discrete-event cell spaces. Streets are characterized by their traffic direction, number of lanes, etc. Specialized behavior is included to model traffic lights, trucks, traffic signs, railways, etc. The models are formally specified as DEVS and Cell-DEVS models, avoiding a high number of errors in the develo...
متن کاملATLAS: A language to specify traffic models using Cell-DEVS
The ATLAS specification language is devoted to build models of city sections using microsimulation. The basic language constructions allow defining a static topology of the section to be studied. The dynamic behavior of the section can be modified by including traffic lights, traffic signs, etc. Once the urban section is outlined, models are converted into cell spaces and the traffic flow is au...
متن کاملIntegrating Simulation Capabilities in SysML using DEVS
SysML is considered as an emerging standard for system engineering. Using SysML, the system engineer may study alternative system configurations. However, in order to be able to argue for or against a certain configuration, performance evaluation should be performed and SysML models should become executable using a simulation environment. For the simulation community, DEVS formalism provides a ...
متن کاملDistributed Optimistic Simulation of Hierarchical Devs Models
This paper presents a new distributed simulation methodology for hierarchical Discrete Event System Specification(DEVS) models. The DEVS formalism provides a formal basis for specifying discrete event models in a modular, hierarchical form. For distributed simulation of DEVS models, a synchronization mechanism is required to control the advance of simulation clocks. The proposed methodology emp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000